8838 search results - page 1630 / 1768 » Generalizing Domain Theory |
170
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
150
click to vote
DOCENG
2008
ACM
15 years 7 months ago
2008
ACM
"There will always (I hope) be print books, but just as the advent of photography changed the role of painting or film changed the role of theater in our culture, electronic ...
182
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
152
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
185
click to vote
ICPW
2007
15 years 7 months ago
2007
The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being fo...