Sciweavers

3825 search results - page 515 / 765
» The Language of Time: A Reader
Sort
View
SAC
2006
ACM
16 years 1 months ago
Dynamic instantiation-checking components
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
Nigamanth Sridhar
SIGDOC
2006
ACM
16 years 1 months ago
Handling objects: a scenario based approach
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
Thomas George Kannampallil, John M. Daughtry III
APSEC
2005
IEEE
16 years 27 days ago
Call-Ordering Constraints
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
Nam Tran, David Abramson, Christine Mingins
CW
2005
IEEE
16 years 27 days ago
Function-based Time-dependent Shape Modeling on the Web
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...
Qi Liu, Alexei Sourin
DFT
2005
IEEE
92views VLSI» more  DFT 2005»
16 years 27 days ago
Simulating Faults of Combinational IP Core-based SOCs in a PLI Environment
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
Pedram A. Riahi, Zainalabedin Navabi, Fabrizio Lom...