1190 search results - page 115 / 238 » The Continuing Quest for Abstraction |
FPL
2006
Springer
14 years 25 days ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
ASPDAC
2001
ACM
14 years 24 days ago
2001
ACM
Abstract-- In order to continue to produce circuits of increasing speeds, designers must consider aggressive circuit design styles such as self-resetting or delayed-reset domino ci...
AINA
2010
IEEE
14 years 15 days ago
2010
IEEE
Abstract--In this paper, we present new algorithms for matching Web services described in YASA4WSDL (YASA for short). We have already defined YASA that overcomes some issues missin...
EUROSSC
2009
Springer
14 years 12 days ago
2009
Springer
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
ICDE
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract-- Mashups integrate a set of complementary Webservices and data sources, often referred to as mashlets. We consider here a common scenario where the integrated mashlets ar...