1033 search results - page 92 / 207 » Redistribution in distributed Ada |
160
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
146
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
129
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Channel estimation and multiuser detection are enabling technologies for future generations of wireless applications. However, sophisticated algorithms are required for accurate c...
136
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
145
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a s...