Sciweavers

4609 search results - page 370 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
PRDC
2007
IEEE
16 years 1 months ago
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
Christian Buckl, Matthias Regensburger, Alois Knol...
CIARP
2007
Springer
16 years 28 days ago
A Statistical User Simulation Technique for the Improvement of a Spoken Dialog System
Abstract. In this paper, we present a statistical approach for the automatic generation of dialogs by means of a user simulator. This technique can be used to generate dialogs with...
Lluís Hurtado, David Griol, Emilio Sanchis,...
FPL
2007
Springer
133views Hardware» more  FPL 2007»
16 years 27 days ago
Efficient Modeling and Floorplanning of Embedded-FPGA Fabric
In this paper we present an automatic design flow for generating customized embedded FPGA (eFPGA) fabric and a domain specific SOC+eFPGA architecture. This design flow encompas...
Sumanta Chaudhuri, Jean-Luc Danger, Sylvain Guille...
IPPS
2005
IEEE
16 years 10 days ago
Message Scheduling for All-to-All Personalized Communication on Ethernet Switched Clusters
We develop a message scheduling scheme that can theoretically achieve the maximum throughput for all–to–all personalized communication (AAPC) on any given Ethernet switched cl...
Ahmad Faraj, Xin Yuan
155
Voted
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 7 days ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten