1001 search results - page 36 / 201 » Generating Application-Specific Benchmark Models for Complex... |
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
CASES
2007
ACM
13 years 12 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
MSR
2010
ACM
14 years 29 days ago
2010
ACM
Abstract—Reliably predicting software defects is one of software engineering’s holy grails. Researchers have devised and implemented a plethora of bug prediction approaches var...
ICANN
2009
Springer
14 years 15 days ago
2009
Springer
The sequential structure of complex actions is apparently at an abstract “cognitive” level in several regions of the frontal cortex, independent of the control of the immediate...