Sciweavers

1799 search results - page 267 / 360
» Design considerations for MRAM
Sort
View
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
15 years 6 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
155
Voted
BPM
2008
Springer
130views Business» more  BPM 2008»
15 years 6 months ago
BPM and Social Software
Due to many success stories, social software received much attention in public and academia. Although it is widely used for business support, its relationship with business proces...
Rainer Schmidt, Selmin Nurcan
CAISE
2008
Springer
15 years 6 months ago
On Modeling and Analyzing Cost Factors in Information Systems Engineering
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
Bela Mutschler, Manfred Reichert
DAC
2005
ACM
15 years 6 months ago
Sign bit reduction encoding for low power applications
This paper proposes a low power technique, called SBR (Sign Bit Reduction) which may reduce the switching activity in multipliers as well as data buses. Utilizing the multipliers ...
M. Saneei, Ali Afzali-Kusha, Zainalabedin Navabi
CISS
2007
IEEE
15 years 6 months ago
Echo-Cancellation for Ultrasonic Data Transmission through a Metal Channel
– The process control industry has shown great interest in implementation of low cost, low power wireless sensor networks. Such networks are much easier to deploy and reconfigure...
Richard Primerano, Kevin Wanuga, Joseph Dorn, Mosh...