3804 search results - page 449 / 761 » From Here to There |
182
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
170
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Network bottlenecks, firewalls, restrictions on IP Multicast availability and administrative policies have long prevented the use of multicast even where the fit seems obvious. ...
195
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
To understand the principles of information processing in the brain, we depend on models with more than 105 neurons and 109 connections. These networks can be described as graphs o...
177
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
In human mesenchymal stem cells the envelope surrounding the nucleus, as visualized by the nuclear lamina, has a round and flat shape. The lamina structure is considerably deformed...
165
click to vote
DSRT
2009
IEEE
15 years 10 months ago
2009
IEEE
The recent emergence of dramatically large computational power, spanning desktops with multicore processors and multiple graphics cards to supercomputers with 105 processor cores,...