4350 search results - page 72 / 870 » Case studies for contract-based systems |
154
Voted
ECRTS
2008
IEEE
15 years 10 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...
105
click to vote
ASPDAC
2006
ACM
15 years 9 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...
165
Voted
GECCO
2005
Springer
15 years 9 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...
128
Voted
ISI
2005
Springer
15 years 9 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...
136
Voted
KES
2004
Springer
15 years 9 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...