2493 search results - page 410 / 499 » Tool Support for Design by Contract |
132
click to vote
EMNETS
2007
15 years 1 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
100
click to vote
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
UIST
2004
ACM
15 years 3 months ago
2004
ACM
Ubiquitous and Wearable Computing both have the goal of pushing the computer into the background, supporting all kinds of human activities. Application areas include areas such as...