Sciweavers

1407 search results - page 61 / 282
» Using Use Cases in Executable Z
Sort
View
133
Voted
ISCA
2005
IEEE
166views Hardware» more  ISCA 2005»
15 years 8 months ago
Increased Scalability and Power Efficiency by Using Multiple Speed Pipelines
One of the most important problems faced by microarchitecture designers is the poor scalability of some of the current solutions with increased clock frequencies and wider pipelin...
Emil Talpes, Diana Marculescu
106
Voted
DATE
2010
IEEE
137views Hardware» more  DATE 2010»
15 years 7 months ago
Deterministic, predictable and light-weight multithreading using PRET-C
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
Sidharta Andalam, Partha S. Roop, Alain Girault
141
Voted
PC
2012
223views Management» more  PC 2012»
13 years 10 months ago
Using shared arrays in message-driven parallel programs
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
Phil Miller, Aaron Becker, Laxmikant V. Kalé...
166
Voted
IPCO
2001
184views Optimization» more  IPCO 2001»
15 years 4 months ago
Approximation Algorithms for the Minimum Bends Traveling Salesman Problem
Problem (Extended Abstract) Cliff Stein David P. Wagner Dartmouth College Computer Science Technical Report TR2000-367 May 9, 2000 The problem of traversing a set of points in the...
Clifford Stein, David P. Wagner
ICSE
2009
IEEE-ACM
16 years 3 months ago
ContextServ: A platform for rapid and flexible development of context-aware Web services
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
Quan Z. Sheng, Sam Pohlenz, Jian Yu, Hoi S. Wong, ...