2036 search results - page 142 / 408 » A generic type-and-effect system |
97
Voted
IWPSE
2003
IEEE
15 years 6 months 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 ...
101
Voted
ACIVS
2008
Springer
15 years 7 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...
90
Voted
ICLP
2005
Springer
15 years 6 months 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 ...
103
click to vote
IDEAL
2005
Springer
15 years 6 months 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...
119
Voted
USENIX
2001
15 years 2 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...