4770 search results - page 847 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
129
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
138
Voted
HCI
2009
15 years 1 months ago
2009
The design and implementation of systems that combine both the utilities of the digital world as well as intrinsic affordances of traditional artifacts are challenging. In this pap...
120
Voted
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
135
Voted
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
153
Voted
ISI
2008
Springer
15 years 3 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...