5439 search results - page 664 / 1088 » Patterns: from system design to software testing |
185
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
147
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
172
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
168
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
156
click to vote
JOT
2006
15 years 6 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...