Sciweavers

1008 search results - page 138 / 202
» A cis-regulatory logic simulator
Sort
View
ICLP
2007
Springer
16 years 10 days ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
SAT
2007
Springer
96views Hardware» more  SAT 2007»
16 years 9 days ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
16 years 7 days ago
Automating processor customisation: optimised memory access and resource sharing
We propose a novel methodology to generate Application Specific Instruction Processors (ASIPs) including custom instructions. Our implementation balances performance and area req...
Robert G. Dimond, Oskar Mencer, Wayne Luk
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
16 years 6 days ago
A New Method of Executing Multiple Auxiliary Tasks by Redundant Nonholonomic Mobile Manipulators
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
Yugang Liu, Yangmin Li
ISCC
2006
IEEE
182views Communications» more  ISCC 2006»
16 years 6 days ago
CollECT: Collaborative Event deteCtion and Tracking in Wireless Heterogeneous Sensor Networks
Event detection and tracking are attractive research issues in the wireless sensor network (WSN). The paper proposes a fully distributed protocol, CollECT, to event detection and ...
Kuei-Ping Shih, Sheng-Shih Wang, Pao-Hwa Yang, Cha...