2500 search results - page 60 / 500 » Specifying Behavior in C |
APCSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Java workloads are becoming more prominent on a wide range of computing devices. In contrast to so-called traditional workloads written in C and Fortran, Java workloads are object-...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
MSS
2008
IEEE
13 years 9 months ago
2008
IEEE
Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual...
RAS
2007
13 years 8 months ago
2007
Considering the wide range of possible behaviors to be acquired for domestic robots, applying a single learning method is clearly insufficient. In this paper, we propose a new str...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes our efforts to investigate factors in user browsing behavior to automatically evaluate Web pages that the user shows interest in. We developed a client site l...