4386 search results - page 617 / 878 » A Tamper-Resistant Programming Language System |
138
Voted
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
110
Voted
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
124
click to vote
WMCSA
2002
IEEE
15 years 8 months ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...
112
Voted
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
Over the past decade, digital signal processors (DSPs) have emerged as the processors of choice for implementing embedded applications in high-volume consumer products. Through th...
146
Voted
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...