Sciweavers

2607 search results - page 246 / 522
» On the Architecture of System Verification Environments
Sort
View
ICALT
2010
IEEE
15 years 7 months ago
What You Check is What You Get: Authoring with jEditOQMath
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
Paul Libbrecht
VTC
2007
IEEE
103views Communications» more  VTC 2007»
16 years 26 days ago
Capacity Evaluation of LoS-Optimised and Standard MIMO Antenna Arrays at 5.2 GHz
— In this paper, the channel capacity of MIMO communication systems is evaluated from measurements in a home environment at 5.2 GHz. The capacity performance of a novel Line-of-S...
Ioannis Sarris, Andrew R. Nix
SAINT
2003
IEEE
15 years 12 months ago
Data Storage Requirements for the Service Oriented Computing
Service oriented computing and peer-to-peer (P2P) computing are emerging technologies which provide, from the architectural point of view, scalability and flexibility. From their...
Thomas Risse, Predrag Knezevic
CIC
2004
114views Communications» more  CIC 2004»
15 years 8 months ago
Design of Distributed Component Frameworks for Computational Grids
The Common Component Architecture (CCA) defines a specification for the implementation of frameworks to support component-based high performance applications. The same framework s...
Madhusudhan Govindaraju, Himanshu Bari, Michael J....
FPL
1998
Springer
86views Hardware» more  FPL 1998»
15 years 10 months ago
Self Modifying Circuitry - A Platform for Tractable Virtual Circuitry
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...
Adam Donlin