1356 search results - page 207 / 272 » A variable-free dynamic semantics |
129
click to vote
RSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
169
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...
149
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
134
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
There are an increasing number of initiatives for the migration of agents research towards new Internet technologies such as the semantic web, Grid, and web services. On the one h...
114
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...