7092 search results - page 1182 / 1419 » Parallelizing constraint programs |
109
Voted
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
110
click to vote
MTDT
2003
IEEE
15 years 7 months ago
2003
IEEE
Memory cores (especially SRAM cores) used on a system chip usually come from a memory compiler. Commercial memory compilers have their limitation— a large memory may need to be ...
128
click to vote
CASES
2003
ACM
15 years 7 months ago
2003
ACM
The proliferation of computing technology to low power domains such as hand–held devices has lead to increased interest in portable interface technologies, with particular inter...
146
click to vote
AI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
138
click to vote
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes an agent-based architecture that extends personal mobility to ubiquitous environment. A software agent, running on a portable device, leverages the existing se...