2500 search results - page 138 / 500 » Specifying Behavior in C |
139
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
146
click to vote
IWMM
1998
Springer
15 years 7 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
141
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
115
Voted
IOLTS
2006
IEEE
15 years 9 months ago
2006
IEEE
This work intends to evaluate the effect of a Single Event Upsets (SEUs) and crosstalk faults in a NoC router architecture by developing a fault injection mechanism, allowing an a...
245
Voted
C5
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents a study of the learning process in a distance collaborative learning environment with a chat system and a Wiki, and development of a new chat system based o...