Sciweavers

591 search results - page 52 / 119
» Global delay optimization using structural choices
Sort
View
ICMCS
1999
IEEE
131views Multimedia» more  ICMCS 1999»
15 years 7 months ago
A Method for Evaluating Multimedia Learning Software
We submit a method (EMPI: Evaluation of Multimedia, Pedagogical and Interactive software) to evaluate multimedia software used in educational context. Our purpose is to help users...
Stéphane Crozat, Olivier Hû, Philippe...
146
Voted
LICS
2010
IEEE
15 years 1 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...
ICCAD
1997
IEEE
95views Hardware» more  ICCAD 1997»
15 years 7 months ago
An exact solution to simultaneous technology mapping and linear placement problem
In this paper, we present an optimal algorithm for solving the simultaneous technology mapping and linear placement problem for tree-structured circuits with the objective of mini...
Jinan Lou, Amir H. Salek, Massoud Pedram
CORR
1999
Springer
222views Education» more  CORR 1999»
15 years 2 months ago
Analysis of approximate nearest neighbor searching with clustered point sets
Abstract. Nearest neighbor searching is a fundamental computational problem. A set of n data points is given in real d-dimensional space, and the problem is to preprocess these poi...
Songrit Maneewongvatana, David M. Mount
ICSR
2000
Springer
15 years 6 months ago
A New Control Structure for Transformation-Based Generators
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
Ted J. Biggerstaff