261 search results - page 47 / 53 » Applying Slicing Technique to Software Architectures |
167
click to vote
ENTCS
2002
14 years 11 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
103
click to vote
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
AVI
2004
15 years 1 months ago
2004
Although some guidelines (e.g., based on architectural principles) have been proposed for designing Virtual Environments (VEs), several usability problems can be identified only b...
171
Voted
TAPIA
2009
ACM
15 years 4 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
91
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...