2145 search results - page 220 / 429 » Architectural Specifications in CASL |
171
click to vote
VLSID
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
185
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
173
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...
200
click to vote
AHS
2006
IEEE
16 years 17 days ago
2006
IEEE
Recent development of Wireless Sensor Networks (WSN) has led to the appearance of many application specific communication protocols which must be energy-efficient. Among those pro...
146
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...