1358 search results - page 55 / 272 » Proceedings |
125
Voted
WMRD
1990
15 years 4 months ago
1990
This paper describes the design of an object replication scheme for the Arjuna distributed system. ThedesignsupportsK-resiliency,where,intheabsenceofnetworkpartitions,Koutofa tota...
110
click to vote
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
102
Voted
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...
103
click to vote
DPPI
2007
ACM
15 years 4 months ago
2007
ACM
The near ubiquity of mobile phones in the world and in people's lives, have created new opportunities for reinterpretation of what these devices are and what they do. One area...
84
Voted
DPPI
2007
ACM
15 years 4 months ago
2007
ACM
In this paper we introduce a novel interface for exploring dynamic equilibria using the metaphor of a traditional balance scale. Rather than comparing and identifying physical weig...