10575 search results - page 2032 / 2115 » T2Script Programming Language |
127
click to vote
TCS
2011
14 years 9 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
DAC
2005
ACM
16 years 3 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
116
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...
120
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
The simplicity of the basic client/server model of Web services led quickly to its widespread adoption, but also to scalability and performance problems. The technological respons...
237
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...