Sciweavers

1127 search results - page 205 / 226
» The XIS Generative Programming Techniques
Sort
View
EUROMICRO
2007
IEEE
15 years 3 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
82
Voted
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
15 years 3 months ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson
74
Voted
HPDC
2007
IEEE
15 years 3 months ago
Feedback-directed thread scheduling with memory considerations
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...
Fengguang Song, Shirley Moore, Jack Dongarra
IAT
2007
IEEE
15 years 3 months ago
A Distributed Algorithm for Finding Nucleolus-Stable Payoff Divisions
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
Hrishikesh J. Goradia, José M. Vidal
VR
2007
IEEE
142views Virtual Reality» more  VR 2007»
15 years 3 months ago
A Personal Surround Environment: Projective Display with Correction for Display Surface Geometry and Extreme Lens Distortion
Projectors equipped with wide-angle lenses can have an advantage over traditional projectors in creating immersive display environments since they can be placed very close to the ...
Tyler Johnson, Florian Gyarfas, Rick Skarbez, Herm...