4112 search results - page 443 / 823 » Efficient Algorithms for the Spoonerism Problem |
183
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
184
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...
195
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
The core vector machine (CVM) is a recent approach for scaling up kernel methods based on the notion of minimum enclosing ball (MEB). Though conceptually simple, an efficient impl...
189
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
208
click to vote
ICDS
2009
IEEE
16 years 2 months ago
2009
IEEE
—In a wireless sensor network application for tracking multiple mobile targets, large amounts of sensing data can be generated by a number of sensors. These data must be controll...