2477 search results - page 209 / 496 » First-Order Interactive Programming |
HCI
2009
13 years 7 months ago
2009
Abstract. This paper discusses about the different user-interfaces of mobile development and modeling environments in order to extract important details in which the user-interface...
IJPP
2011
13 years 23 days ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
CEC
2009
IEEE
14 years 4 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
SEMCO
2008
IEEE
14 years 3 months ago
2008
IEEE
The twin mainstream computing shifts of mobility and programable Web are fundamentally impacting how humans interact, socialize, and access information. Never before has computing...
SAS
2007
Springer
14 years 3 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...