4385 search results - page 337 / 877 » Abstraction for Concurrent Objects |
185
click to vote
VLSID
2006
IEEE
16 years 22 days ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
182
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
172
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
235
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
This paper presents the design, implementation and evaluation of Picasso, a novel radio design that allows simultaneous transmission and reception on separate and arbitrary spectr...
214
click to vote
ELECTRONICMARKETS
1998
15 years 6 months ago
1998
AbstractAbstractAbstractAbstract Current Web-based electronic commerce systems are lacking in efficient electronic brokerage. However, brokerage plays an important role in many ele...