1027 search results - page 119 / 206 » Callgraph properties of executables |
146
Voted
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
122
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
130
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
155
Voted
HHCI
2000
15 years 7 months ago
2000
Using virtual objects that provided haptic feedback we studied two-fingered movements of reaching to grasp and lift an object. These reach-grasp-lift movements were directed to ob...
133
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...