20126 search results - page 4020 / 4026 » Timed Transition Systems |
116
click to vote
CIKM
2011
Springer
14 years 12 days ago
2011
Springer
In most of the cases, scientists depend on previous literature which is relevant to their research fields for developing new ideas. However, it is not wise, nor possible, to trac...
121
click to vote
CIKM
2011
Springer
14 years 12 days ago
2011
Springer
Social media services have spread throughout the world in just a few years. They have become not only a new source of information, but also new mechanisms for societies world-wide...
100
Voted
DAC
2011
ACM
14 years 7 days ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...
170
click to vote
EUROPAR
2011
Springer
14 years 5 days ago
2011
Springer
Abstract. ILU(k) is a commonly used preconditioner for iterative linear solvers for sparse, non-symmetric systems. It is often preferred for the sake of its stability. We present T...
101
click to vote
IACR
2011
14 years 2 days ago
2011
Norway is going to experience an Internet voting scheme in September 2011 for local governmental elections, targeting a comprehensive Internet voting system in 2017 for national el...