Sciweavers

9264 search results - page 1619 / 1853
» Space Between Languages
Sort
View
PLDI
2009
ACM
15 years 11 months ago
Progress guarantee for parallel programs via bounded lock-freedom
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaa...
ICSE
2009
IEEE-ACM
15 years 11 months ago
A compositional approach to bidirectional model transformation
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...
PRIMA
2009
Springer
15 years 11 months ago
Participatory Simulation Environment gumonji/Q: A Network Game Empowered by Agents
Abstract. Network games are attracting attention as simulation platforms for social experiments because of their rich visualization performance and scalability. Our objective in th...
Shohei Yamane, Shoichi Sawada, Hiromitsu Hattori, ...
AGENTS
2001
Springer
15 years 11 months ago
Representing social structures in UML
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
H. Van Dyke Parunak, James Odell
COCO
2001
Springer
108views Algorithms» more  COCO 2001»
15 years 11 months ago
Bounded Query Functions with Limited Output Bits
This paper explores the difference between parallel and serial queries to an NP-complete oracle, SAT, from the perspective of functions with a limited number of output bits. For ...
Richard Chang, Jon S. Squire
« Prev « First page 1619 / 1853 Last » Next »