5377 search results - page 149 / 1076 » Programming Languages For Interactive Computing |
PADL
2011
Springer
13 years 5 days 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 ...
DAC
2007
ACM
14 years 10 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...
JOT
2008
13 years 9 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...
Book
"The purpose of this book is to teach you how to write GUI programs using Qt 3."
ISF
2011
13 years 22 days ago
2011