Sciweavers

10899 search results - page 1814 / 2180
» The GP Programming System
Sort
View
ACSE
2000
ACM
15 years 10 months ago
Are you interested in computers and electronics?
Secondary school students, when investigating tertiary study, have little opportunity to discover what a particular course has to offer and often have a poor understanding of empl...
David Abramson, Gordon S. Lowe, Peter Atkinson
SAC
2000
ACM
15 years 10 months ago
A Mobile Agent Infrastructure for the Mobility Support
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
SC
2000
ACM
15 years 10 months ago
Landing CG on EARTH: A Case Study of Fine-Grained Multithreading on an Evolutionary Path
We report on our work in developing a fine-grained multithreaded solution for the communicationintensive Conjugate Gradient (CG) problem. In our recent work, we developed a simpl...
Kevin B. Theobald, Gagan Agrawal, Rishi Kumar, Ger...
VRML
2000
ACM
15 years 10 months ago
MVIP - audio enabled multicast VNet
This paper presents a multicast approach to shared virtual worlds. A shared VRML world is described with integrated spatial audio in a freeware VRML browser. An implementation in ...
John L. Robinson, John A. Stewart, Isabelle Labb&e...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 10 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
« Prev « First page 1814 / 2180 Last » Next »