3879 search results - page 189 / 776 » PyPBS design and methodologies |
134
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...
165
click to vote
PPOPP
2012
ACM
14 years 9 days ago
2012
ACM
The linked-list data structure is fundamental and ubiquitous. Lockfree versions of the linked-list are well known. However, the existence of a practical wait-free linked-list has ...
179
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
179
Voted
SDL
2007
15 years 6 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
142
click to vote
SELMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A crucial part of multi-agent system design is the design of agent interactions. Traditional approaches to designing agent interaction use interaction protocols, which fo...