Sciweavers

3736 search results - page 538 / 748
» Generative Programming
Sort
View
FPL
2001
Springer
88views Hardware» more  FPL 2001»
15 years 11 months ago
FPGA-Based Discrete Wavelet Transforms System
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
Mokhtar Nibouche, Ahmed Bouridane, Fionn Murtagh, ...
HICSS
2000
IEEE
208views Biometrics» more  HICSS 2000»
15 years 11 months ago
Transfer Capability Computations in Deregulated Power Systems
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
Mohamed Shaaban, Yixin Ni, Felix F. Wu
ICRA
2000
IEEE
118views Robotics» more  ICRA 2000»
15 years 11 months ago
4-D/RCS Reference Model Architecture for Unmanned Ground Vehicles
4-D/RCS is the reference model architecture currently being developed for the Demo III Experimental Unmanned Vehicle program. 4-D/RCS integrates the NIST (National Institute of St...
James S. Albus
LICS
2000
IEEE
15 years 11 months ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke
SIGCSE
2000
ACM
193views Education» more  SIGCSE 2000»
15 years 11 months ago
Experimentation with bounded buffer synchronization
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
Steven Robbins