Sciweavers

2550 search results - page 137 / 510
» The Meaning of Open Standards
Sort
View
AIMSA
2000
Springer
15 years 11 months ago
Steps towards C+C: A Language for Interactions
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro,...
JAVA
1999
Springer
15 years 10 months ago
Object Serialization for Marshalling Data in a Java Interface to MPI
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
Bryan Carpenter, Geoffrey Fox, Sung Hoon Ko, Sang ...
COMPGEOM
1998
ACM
15 years 10 months ago
Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...
Hervé Brönnimann, Christoph Burnikel, ...
DAC
2010
ACM
15 years 10 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
DELTA
2004
IEEE
15 years 10 months ago
Towards Analog and Mixed-Signal SOC Design with SystemC-AMS
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
Alain Vachoux, Christoph Grimm, Karsten Einwich