3831 search results - page 446 / 767 » Dynamic Context Logic |
195
click to vote
AIS
2012
Springer
14 years 2 months ago
2012
Springer
This paper introduces the notion of witnessed presence arguing that the performative act of witnessing presence is fundamental to dynamics of negotiating trust and truth. As the a...
275
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
160
Voted
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
183
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
158
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...