Sciweavers

3145 search results - page 193 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 5 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
CORR
2007
Springer
132views Education» more  CORR 2007»
15 years 4 months ago
A Generic Deployment Framework for Grid Computing and Distributed Applications
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
Areski Flissi, Philippe Merle
CMSB
2008
Springer
15 years 6 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
UAIS
2002
100views more  UAIS 2002»
15 years 4 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
FDL
2006
IEEE
15 years 10 months ago
SystemC-A Modeling of an Automotive Seating Vibration Isolation System
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
Hessa Al-Junaid, Tom J. Kazmierski, Leran Wang