2171 search results - page 203 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
163
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
160
click to vote
KBSE
2006
IEEE
16 years 17 days ago
2006
IEEE
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
169
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
153
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...