7827 search results - page 136 / 1566 » time 2007 |
175
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
172
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
162
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...
183
Voted
FCCM
2007
IEEE
16 years 5 days ago
2007
IEEE
This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...
150
click to vote
GLOBECOM
2007
IEEE
16 years 5 days ago
2007
IEEE
—In this paper, we investigate diversity gain in coding for a 2-user multiple-access-channel (MAC) with cooperating transmitters–the MAC with relaying. We propose a simple dist...