2720 search results - page 531 / 544 » Design tools for emerging technologies |
106
Voted
LPNMR
2007
Springer
15 years 8 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...
144
Voted
GLVLSI
2006
IEEE
15 years 8 months ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
111
Voted
ELPUB
2007
ACM
15 years 5 months ago
2007
ACM
The European Accessible Information Network (EUAIN) was established to support the move to incorporate accessibility within mainstream content processing environments. EUAIN has b...
147
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Microarray technology is a powerful and widely accepted experimental technique in molecular biology that allows studying genome wide transcriptional responses. However...
104
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...