3119 search results - page 554 / 624 » General Default Logic |
118
click to vote
IEEEPACT
2006
IEEE
15 years 6 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
146
click to vote
ISVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
high NRE cost. Therefore, general purpose programmable processors using software to perform various functions become more attractive since programmability can simplify system devel...
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
118
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
126
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....