3689 search results - page 409 / 738 » A Language with Distributed Scope |
173
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
150
Voted
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
141
click to vote
ICALP
2009
Springer
16 years 5 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....
141
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
144
click to vote
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
With the emergence of Service-based architectures, management of an application which comprises of a large number of distributed services becomes difficult as resources appear, mo...