Sciweavers

749 search results - page 138 / 150
» The Coming-of-Age of Software Architecture Research
Sort
View
WOWMOM
2005
ACM
175views Multimedia» more  WOWMOM 2005»
14 years 2 months ago
DIMSUMNet: New Directions in Wireless Networking Using Coordinated Dynamic Spectrum Access
Recent advances in Software Defined Radio (SDR), wide band spectrum sensing, and environment aware real-time spectrum allocation [13, 10, 4] show promise of enabling the new para...
Milind M. Buddhikot, Paul Kolodzy, Scott Miller, K...
ICSOC
2004
Springer
14 years 2 months ago
An OGSA-based accounting system for allocation enforcement across HPC centers
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
Thomas Sandholm, Peter Gardfjäll, Erik Elmrot...
SPIN
2004
Springer
14 years 2 months ago
Explicit State Model Checking with Hopper
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
Michael Jones, Eric Mercer
IPPS
2003
IEEE
14 years 2 months ago
Applying Aspect-Orient Programming Concepts to a Component-Based Programming Model
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
Thomas Eidson, Jack Dongarra, Victor Eijkhout
EH
1999
IEEE
169views Hardware» more  EH 1999»
14 years 1 months ago
GeneticFPGA: Evolving Stable Circuits on Mainstream FPGA Devices
GeneticFPGA is a Java-based tool for evolving digital circuits on Xilinx XC4000EXTM and XC4000XLTM devices. Unlike other FPGA architectures popular with Evolutionary Hardware rese...
Delon Levi, Steve Guccione