5855 search results - page 840 / 1171 » Test generation and minimization with |
167
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
200
click to vote
FPGA
2007
ACM
16 years 28 days ago
2007
ACM
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...
204
click to vote
ISAS
2007
Springer
16 years 28 days ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
194
click to vote
IWMM
2007
Springer
16 years 27 days ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
196
click to vote
MSN
2007
Springer
16 years 27 days ago
2007
Springer
Flooding in wireless ad hoc networks is a fundamental and critical operation in supporting various applications and protocols. However, the traditional flooding scheme generates ex...