10707 search results - page 100 / 2142 » Designing executable abstractions |
130
click to vote
GLVLSI
2010
IEEE
15 years 3 months ago
2010
IEEE
Relentless CMOS scaling coupled with lower design tolerances is making ICs increasingly susceptible to wear-out related permanent faults and transient faults, necessitating on-chi...
111
click to vote
ENTCS
2007
15 years 3 months ago
2007
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
109
click to vote
LOGCOM
2002
15 years 2 months ago
2002
In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, howev...
144
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
102
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— Autonomous robots that operate in real-world domains face multiple challenges that make planning and goal selection difficult. Not only must planning and execution occur in re...