Sciweavers

4887 search results - page 496 / 978
» System Level Design Using C
Sort
View
185
Voted
SIGMOD
2011
ACM
177views Database» more  SIGMOD 2011»
14 years 9 months ago
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, An...
199
Voted
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 7 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
172
Voted
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
16 years 26 days ago
A particle swarm algorithm for symbols detection in wideband spatial multiplexing systems
This paper explores the application of the particle swarm algorithm for a NP-hard problem in the area of wireless communications. The specific problem is of detecting symbols in a...
Adnan Ahmed Khan, Muhammad Naeem, Syed Ismail Shah
202
Voted
DEBS
2009
ACM
15 years 10 months ago
MICS: an efficient content space representation model for publish/subscribe systems
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
Hojjat Jafarpour, Sharad Mehrotra, Nalini Venkatas...
RAS
2007
119views more  RAS 2007»
15 years 6 months ago
Active estimation of distance in a robotic system that replicates human eye movement
In a moving agent, the different apparent motion of objects located at various distances provides an important source of depth information. While motion parallax is evident for la...
Fabrizio Santini, Michele Rucci