Sciweavers

AHSWN
2015
11views Hardware» more  AHSWN 2015»
8 years 8 months ago
Bridging Between IEEE 802.15.6 and IEEE 802.11e for Wireless Healthcare Networks
While many of the technologies envisaged for use in wireless healthcare systems are available today little is known about their interplay. The collected medical data in a Wireless...
Saeed Rashwand, Jelena V. Misic
AHS
2015
IEEE
19views Hardware» more  AHS 2015»
8 years 8 months ago
Adapting the SpaceCube v2.0 data processing system for mission-unique application requirements
David Petrick, Nat Gill, Munther Hassouneh, Robert...
AHS
2015
IEEE
25views Hardware» more  AHS 2015»
8 years 8 months ago
Self-Scaling Evolution of analog computation circuits with digital accuracy refinement
—We introduce SCALER, a two-pronged strategy utilizing digital resources for refining intrinsic evolution of analog computational circuits. A Self-Scaling Genetic Algorithm is pr...
Steven D. Pyle, Vignesh Thangavel, Stephen M. Will...
ACSD
2015
IEEE
16views Hardware» more  ACSD 2015»
8 years 8 months ago
When Do We (Not) Need Complex Assume-Guarantee Rules?
Abstract—Assume-guarantee (AG) reasoning is a compositional verification method where a verification task involving many processes is broken into multiple verification tasks i...
Antti Tapani Siirtola, Stavros Tripakis, Keijo Hel...
ACSD
2015
IEEE
16views Hardware» more  ACSD 2015»
8 years 8 months ago
Multi-valued Abstraction Using Lattice Operations
Stefan Vijzelaar, Wan Fokkink
ACSD
2015
IEEE
34views Hardware» more  ACSD 2015»
8 years 8 months ago
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy
Abstract—Multi-processor systems-on-chips are widely adopted in implementing modern streaming applications to satisfy the ever increasing computing requirements. Predictable memo...
Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, ...
TELSYS
2016
49views Hardware» more  TELSYS 2016»
8 years 8 months ago
Towards automated test and validation of SIP solutions
David Gonçalves, António Amaral, Ant...
TELSYS
2016
54views Hardware» more  TELSYS 2016»
8 years 8 months ago
Ghost: Voronoi-based tracking in sparse wireless networks using virtual nodes
Francisco Garcia, Javier Gomez, Marco A. Gonzalez,...