Sciweavers

733 search results - page 90 / 147
» Embedded Architecture Description Language
Sort
View
153
Voted
WORDS
2005
IEEE
15 years 9 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
111
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 8 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
98
Voted
INTERSPEECH
2010
14 years 10 months ago
Competition in the perception of spoken Japanese words
Japanese listeners detected Japanese words embedded at the end of nonsense sequences (e.g., kaba 'hippopotamus' in gyachikaba). When the final portion of the preceding c...
Takashi Otake, James M. McQueen, Anne Cutler
184
Voted
VLSID
1999
IEEE
139views VLSI» more  VLSID 1999»
15 years 7 months ago
Processor Modeling for Hardware Software Codesign
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
V. Rajesh, Rajat Moona
161
Voted
CASES
2007
ACM
15 years 5 months ago
Facilitating compiler optimizations through the dynamic mapping of alternate register structures
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...
Chris Zimmer, Stephen Roderick Hines, Prasad Kulka...