6201 search results - page 75 / 1241 » Implementation of Axiomatic Language |
144
click to vote
HOLOMAS
2009
Springer
15 years 8 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
121
Voted
PLDI
1993
ACM
15 years 8 months ago
1993
ACM
An implementation of interprocedural constant propagation must model the transmission of values through each procedure. In the framework proposed by Callahan, Cooper, Kennedy, and...
122
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
120
Voted
ICAIL
1995
ACM
15 years 7 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
123
Voted
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...