5377 search results - page 149 / 1076 » Programming Languages For Interactive Computing |
137
click to vote
PADL
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
152
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
141
click to vote
JOT
2008
15 years 2 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
211
click to vote
Book
"The purpose of this book is to teach you how to write GUI programs using Qt 3."