2493 search results - page 459 / 499 » Tool Support for Design by Contract |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
HRI
2006
ACM
15 years 3 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
IWPSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
111
click to vote
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
104
click to vote
APPT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...