371 search results - page 73 / 75 » Verification of Timing Properties in Rapid System Prototypin... |
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...
EMSOFT
2009
Springer
14 years 17 days ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...