10707 search results - page 142 / 2142 » Designing executable abstractions |
129
click to vote
LISP
2002
15 years 3 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
119
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
142
click to vote
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
121
Voted
SI3D
2006
ACM
15 years 9 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
109
click to vote
ICIA
2007
15 years 5 months ago
2007
Administrators frequently perform data integration “by hand” on the desktop as part of the execution of administrative tasks. This position paper discusses the application of ...