1699 search results - page 214 / 340 » A timed semantics of Orc |
ICSM
1996
IEEE
14 years 2 days ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
DAC
1994
ACM
14 years 18 hour ago
1994
ACM
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
ESOP
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
HT
2007
ACM
13 years 11 months ago
2007
ACM
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
CIVR
2004
Springer
13 years 11 months ago
2004
Springer
People as news subjects carry rich semantics in broadcast news video and therefore finding a named person in the video is a major challenge for video retrieval. This task can be ac...