Sciweavers

1336 search results - page 169 / 268
» codes 2005
Sort
View
84
Voted
ICCS
2005
Springer
15 years 6 months ago
"Plug-and-Play" Cluster Computing HPC Designed for the Mainstream Scientist
At UCLA's Plasma Physics Group, to achieve accessible computational power for our research goals, we developed the tools to build numerically-intensive parallel computing clus...
Dean E. Dauger, Viktor K. Decyk
77
Voted
ICESS
2005
Springer
15 years 6 months ago
Self-correction of FPGA-Based Control Units
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
Iouliia Skliarova
ICESS
2005
Springer
15 years 6 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
ICLP
2005
Springer
15 years 6 months ago
Guard and Continuation Optimization for Occurrence Representations of CHR
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
Jon Sneyers, Tom Schrijvers, Bart Demoen
ICWE
2005
Springer
15 years 6 months ago
A Model-Based Approach for Integrating Third Party Systems with Web Applications
New Web applications are rapidly moving from stand-alone systems to distributed applications that need to interoperate with third party systems, such as external Web services or le...
Nathalie Moreno, Antonio Vallecillo