Sciweavers

4209 search results - page 580 / 842
» Software Change and Evolution
Sort
View
JACIII
2006
118views more  JACIII 2006»
15 years 6 months ago
Building Intelligent Robotics Systems with Distributed Components
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Federico Guedea-Elizalde, Rogelio Soto, Fakhreddin...
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 6 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
ETS
2000
IEEE
138views Hardware» more  ETS 2000»
15 years 6 months ago
e-Learning Innovation through the Implementation of an Internet Supported Learning Environment
The paper provides an insight into the changing nature of the learning process through the adoption of interactive new media solutions into a traditional University Campus. The us...
David Smith, Glenn Hardaker
JECR
2000
85views more  JECR 2000»
15 years 6 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng
ISPASS
2010
IEEE
16 years 1 months ago
Synthesizing memory-level parallelism aware miniature clones for SPEC CPU2006 and ImplantBench workloads
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...
Karthik Ganesan, Jungho Jo, Lizy K. John