15754 search results - page 2745 / 3151 » Programs are Knowledge Bases |
209
click to vote
ASPDAC
2009
ACM
16 years 2 months ago
2009
ACM
— To address the performance limitation brought by the scaling issues of on-chip global wires, a new configuration for global wiring using on-chip lossy transmission lines is pr...
211
click to vote
CHIMIT
2009
ACM
16 years 2 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
197
click to vote
INDIASE
2009
ACM
16 years 2 months ago
2009
ACM
A software architect engages in solving Software Engineering (SE) problems throughout his career. Thus inculcating problem solving skills should be one of the learning objectives ...
206
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
215
click to vote
AICCSA
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...