2366 search results - page 444 / 474 » Pfaffian Hybrid Systems |
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
112
click to vote
VLSID
2008
IEEE
16 years 6 days ago
2008
IEEE
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
CHI
2003
ACM
16 years 5 days ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
105
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
GI
2005
Springer
15 years 5 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...