2036 search results - page 142 / 408 » A generic type-and-effect system |
158
Voted
IWPSE
2003
IEEE
16 years 6 days ago
2003
IEEE
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
171
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
Scientific advances in the development of video processing algorithms now allow various distributed and collaborative vision-based applications. However, the lack of recognised st...
194
Voted
ICLP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
187
click to vote
IDEAL
2005
Springer
16 years 13 days ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
210
Voted
USENIX
2001
15 years 8 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...