Sciweavers

967 search results - page 134 / 194
» Languages and Tools for Hybrid Systems Design
Sort
View
CONCURRENCY
1998
87views more  CONCURRENCY 1998»
13 years 8 months ago
Titanium: A High-performance Java Dialect
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, ...
ASPLOS
2006
ACM
14 years 2 months ago
Introspective 3D chips
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
Shashidhar Mysore, Banit Agrawal, Navin Srivastava...
POPL
2010
ACM
14 years 6 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
RTAS
1997
IEEE
14 years 1 months ago
Scalable Hardware Priority Queue Architectures for High-Speed Packet Switches
ÐWith effective packet-scheduling mechanisms, modern integrated networks can support the diverse quality-of-service requirements of emerging applications. However, arbitrating bet...
Sung-Whan Moon, Kang G. Shin, Jennifer Rexford
AAAI
2004
13 years 10 months ago
Ergonomics Analysis for Vehicle Assembly Using Artificial Intelligence
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
Nestor Rychtyckyj