4438 search results - page 623 / 888 » The Case for Collaborative Programming |
173
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
184
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
146
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
210
click to vote
WINE
2005
Springer
16 years 3 days ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
184
click to vote
SBCCI
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...