4666 search results - page 684 / 934 » Equations on Timed Languages |
169
click to vote
SIGDOC
2006
ACM
16 years 20 days ago
2006
ACM
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...
176
click to vote
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
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...
172
click to vote
CW
2005
IEEE
16 years 10 days ago
2005
IEEE
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 ...
168
click to vote
DFT
2005
IEEE
16 years 10 days ago
2005
IEEE
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...
162
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...