Sciweavers

3971 search results - page 391 / 795
» On the Use of Properties in Java Applications
Sort
View
ISCAS
2006
IEEE
135views Hardware» more  ISCAS 2006»
16 years 25 days ago
A sensor system on chip for wireless microsystems
Recent years have seen the rapid development of microsensor technology, system on chip design, wireless technology and ubiquitous computing. When assembled into a complex microsys...
L. Wang, Nizamettin Aydin, A. Astaras, M. Ahmadian...
EMSOFT
2005
Springer
16 years 10 days ago
A structural approach to quasi-static schedulability analysis of communicating concurrent programs
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
PPL
2008
88views more  PPL 2008»
15 years 6 months ago
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks
Fault-tolerance and lookup consistency are considered crucial properties for building applications on top of structured overlay networks. Many of these networks use the ring topol...
Boris Mejías, Peter Van Roy
SIGMOD
2010
ACM
202views Database» more  SIGMOD 2010»
15 years 5 months ago
Beyond isolation: research opportunities in declarative data-driven coordination
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
Lucja Kot, Nitin Gupta 0003, Sudip Roy, Johannes G...
WWW
2010
ACM
16 years 1 months ago
A client-server architecture for state-dependent dynamic visualizations on the web
As sophisticated enterprise applications move to the Web, some advanced user experiences become difficult to migrate due to prohibitively high computation, memory, and bandwidth r...
Daniel Coffman, Danny Soroker, Chandra Narayanaswa...