2881 search results - page 571 / 577 » Model Checking for Programming Languages using Verisoft |
102
Voted
ISORC
2002
IEEE
15 years 4 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
101
click to vote
APCSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
We give new algorithms for learning halfspaces in the challenging malicious noise model, where an adversary may corrupt both the labels and the underlying distribution of examples....
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
89
Voted
ICDCS
1990
IEEE
15 years 3 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...