Sciweavers

443 search results - page 41 / 89
» An improved slicer for Java
Sort
View
DAC
1998
ACM
14 years 10 months ago
Software Synthesis of Process-Based Concurrent Programs
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
Bill Lin
ICSE
2009
IEEE-ACM
14 years 10 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
NPC
2007
Springer
14 years 4 months ago
A Cost-Aware Parallel Workload Allocation Approach Based on Machine Learning Techniques
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
Shun Long, Grigori Fursin, Björn Franke
IPPS
2006
IEEE
14 years 3 months ago
Saburo, a tool for I/O and concurrency management in servers
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
Gautier Loyauté, Rémi Forax, Gilles ...
IWPC
2005
IEEE
14 years 3 months ago
What Can Programmer Questions Tell Us About Frameworks?
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...
Daqing Hou, Kenny Wong, H. James Hoover