4895 search results - page 776 / 979 » Tools for Grammar Engineering |
152
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
196
click to vote
AOSD
2011
ACM
15 years 5 days ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
197
click to vote
ICST
2011
IEEE
14 years 8 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
174
click to vote
ACMIDC
2011
14 years 8 months ago
2011
LightUp is a constructionist platform to teach novices about electronics, and also a low-cost rapid-prototyping platform for more advanced users. The LightUp kit contains many bas...
275
click to vote
DAC
2011
ACM
14 years 5 months ago
2011
ACM
Existing thermal-aware 3D placement methods assume that the temperature of 3D ICs can be optimized by properly distributing the power dissipations, and ignoring the heat conductiv...