4350 search results - page 72 / 870 » Case studies for contract-based systems |
ECRTS
2008
IEEE
14 years 4 months ago
2008
IEEE
Multicore architectures, which have multiple processing units on a single chip, have been adopted by most chip manufacturers. Most such chips contain on-chip caches that are share...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
– Model-based design is widely accepted in developing complex embedded system under intense time-to-market pressure. While it promises improved design productivity, the main bott...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Optimization problems such as resource allocation, job-shop scheduling, equipment utilization and process scheduling occur in a broad range of processing industries. This paper pr...
ISI
2005
Springer
14 years 3 months ago
2005
Springer
Identity resolution is central to fighting against crime and terrorist activities in various ways. Current information systems and technologies deployed in law enforcement agencies...
KES
2004
Springer
14 years 3 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...