Sciweavers

5577 search results - page 287 / 1116
» E2K Technology and Implementation
Sort
View
DALT
2006
Springer
15 years 10 months ago
A Collaborative Framework to Realize Virtual Enterprises Using 3APL
Abstract. In this paper, we propose a collaborative framework to realize a Virtual Enterprise (VE) for the domain of Micro Assembly. The framework is developed using 3APL technolog...
Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
ESOP
2000
Springer
15 years 10 months ago
Sharing Continuations: Proofnets for Languages with Explicit Control
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
Julia L. Lawall, Harry G. Mairson
ICCAD
1998
IEEE
79views Hardware» more  ICCAD 1998»
15 years 10 months ago
Reencoding for cycle-time minimization under fixed encoding length
This paper presents efficient reencoding and resynthesis algorithms for cycle-time minimization of multilevel implementations of synchronous finite state machines (FSMs) under a fi...
Balakrishnan Iyer, Maciej J. Ciesielski
179
Voted
CIKM
2008
Springer
15 years 8 months ago
A SQL database system for solving constraints
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
Sebastien Siva, Lesi Wang
GRAPHICSINTERFACE
2008
15 years 8 months ago
A scalability study of web-native information visualization
Several web-native information visualization methods (SVG, HTML5's Canvas, native HTML) are studied to contrast their performances at different data scales. Using Java implem...
Donald W. Johnson, T. J. Jankun-Kelly