Sciweavers

3745 search results - page 435 / 749
» Sonic: System Description
Sort
View
ISSS
1995
IEEE
98views Hardware» more  ISSS 1995»
15 years 10 months ago
On the use of VHDL-based behavioral synthesis for telecom ASIC design
higher levels of abstraction, due to the still increasing design complexities that can be expected in the near future. Behavioral synthesis can play a key role in this prospect, as...
Mark Genoe, Paul Vanoostende, Geert van Wauwe
ECML
1991
Springer
15 years 10 months ago
A Multistrategy Learning Approach to Domain Modeling and Knowledge Acquisition
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...
Gheorghe Tecuci
FLAIRS
2008
15 years 9 months ago
Reasoning about Topological and Positional Information in Dynamic Settings
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
Marco Ragni, Stefan Wölfl
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 8 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani