Sciweavers

10707 search results - page 67 / 2142
» Designing executable abstractions
Sort
View
FDL
2005
IEEE
15 years 8 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
ICWS
2003
IEEE
15 years 4 months ago
Proteus: A System for Dynamically Composing and Intelligently Executing Web Services
Many organizations envision web services as an enabling component of Internet-scale computing. A final vision of web services is to realize a dynamic environment that identifies, ...
Shahram Ghandeharizadeh, Craig A. Knoblock, Christ...
FPL
2004
Springer
125views Hardware» more  FPL 2004»
15 years 8 months ago
SoftSONIC: A Customisable Modular Platform for Video Applications
This paper presents the Customisable Modular Platform (CMP) approach. The aim is to accelerate FPGA application developraising the level of abstraction and facilitating design reus...
Tero Rissa, Peter Y. K. Cheung, Wayne Luk
95
Voted
IJCAI
1989
15 years 4 months ago
A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution
: This paper describes a novel method for displaying and examining the execution space of a rule interpreter. This method provides both coarse-grained and fine-grained views. The c...
John Domingue, Marc Eisenstadt
CICLING
2009
Springer
16 years 3 months ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel