5630 search results - page 141 / 1126 » Computability in Specification |
129
click to vote
WSC
2007
15 years 6 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
160
click to vote
AIPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we introduce real time image processing techniques using modern programmable Graphic Processing Units (GPU). GPUs are SIMD (Single Instruction, Multiple Data) device...
173
Voted
ISADS
2003
IEEE
15 years 9 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
133
click to vote
EHCI
2004
15 years 5 months ago
2004
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
CHI
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we explore the use of computer at home. This work is based on the automatic recording of application focus data in natural situation from a wide representative panel...