2632 search results - page 396 / 527 » Alternating Timed Automata |
108
click to vote
DATE
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we propose a new harmonic balance simulation methodology based on a linear-centric modeling approach. A linear circuit representation of the nonlinear devices and as...
139
click to vote
HPDC
2002
IEEE
15 years 6 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
115
click to vote
CIVR
2010
Springer
15 years 6 months ago
2010
Springer
Graphical passwords have been demonstrated to be the possible alternatives to traditional alphanumeric passwords. However, they still tend to follow predictable patterns that are ...
125
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...
100
click to vote
VW
2009
Springer
15 years 6 months ago
2009
Springer
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...