3706 search results - page 385 / 742 » KtSeqC: System Description |
275
Voted
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
An important feature of a modern mobile device is that it can position itself. Not only for use on the device but also for remote applications that require tracking of the device....
190
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...
210
click to vote
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
187
Voted
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
191
Voted
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...