2493 search results - page 489 / 499 » Tool Support for Design by Contract |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Increasing health care costs put a great strain on national economies. In recent years there have been several national and regional research and development projects in Finland a...
DAC
2003
ACM
14 years 1 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
EUROPAR
2003
Springer
14 years 1 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
CLOUD
2010
ACM
14 years 1 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...