3174 search results - page 116 / 635 » An Exploration of the Permanent-Determinant Method |
161
click to vote
BIRTHDAY
2005
Springer
16 years 11 hour ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
153
click to vote
SIGECOM
1999
ACM
15 years 10 months ago
1999
ACM
Markets for electronic goods provide the possibility of exploring new and more complex pricing schemes, due to the flexibility of information goods and negligible marginal cost. I...
154
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
One of the efficient design methodologies for large scale System on a Chip (SoC) is IP-based design. In this methodology, a system is considered as a set of components and intercon...
189
click to vote
PSYCHNOLOGY
2008
15 years 6 months ago
2008
Visualization plays an important role in social networks analysis to explore and investigate individual and groups behaviours. Therefore, different approaches have been proposed f...
174
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...