Sciweavers

4854 search results - page 134 / 971
» It's the Programming, Stupid
Sort
View
AO
2007
77views more  AO 2007»
15 years 7 months ago
A precise model for contextual roles: The programming language ObjectTeams/Java
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
Stephan Herrmann
SIGSOFT
2003
ACM
16 years 7 months ago
Runtime safety analysis of multithreaded programs
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
Koushik Sen, Grigore Rosu, Gul Agha
CHI
2009
ACM
16 years 1 months ago
Mediating programming through chat for the OLPC
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...
Jill P. Dimond, Sarita Yardi, Mark Guzdial
TACAS
2009
Springer
135views Algorithms» more  TACAS 2009»
16 years 1 months ago
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
RTAS
2009
IEEE
16 years 1 months ago
Partial Program Admission
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
Michael Wilson, Ron Cytron, Jonathan S. Turner