Sciweavers

93 search results - page 15 / 19
» SDL
Sort
View
85
Voted
ICCAD
1997
IEEE
90views Hardware» more  ICCAD 1997»
15 years 4 months ago
Transformational partitioning for co-design of multiprocessor systems
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
Gilberto Fernandes Marchioro, Jean-Marc Daveau, Ah...
127
Voted
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 4 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
79
Voted
IJCAI
2007
15 years 1 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
119
Voted
FIW
2003
15 years 1 months ago
Representing New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
Kenneth J. Turner
93
Voted
FORTE
2003
15 years 1 months ago
Specifying and Realising Interactive Voice Services
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...
Kenneth J. Turner