Sort by:

• Highly Influential Citations
• Citations
• Acceleration
• Velocity
• Recency

Learn More

The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming

• Petter Sandvik, Mats Neovius
• 2009 First International Conference on Advances…
• 2009

During the last few years, BitTorrent has become a popular way of transferring large files over the Internet. However, the original out-of-order nature of the BitTorrent protocol has made it… (More)

Node Coordination in Peer-to-Peer Networks

• Luigia Petre, Petter Sandvik, Kaisa Sere
• COORDINATION
• 2012

Peer-to-peer networks and other many-to-many relations have become popular especially for content transfer. To better understand and trust these types of networks, we need formally derived and… (More)

A formal approach to H.264 video decoding on multicore systems

• Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
• IJCCBS
• 2013

On Proving Recoverability of Smart Electrical Grids

• Seppo Horsmanheimo, Maryam Kamali, +4 authors Petter Sandvik
• NASA Formal Methods
• 2014

Smart electrical grids refer to networked systems for distributing and transporting electricity from producers to consumers, by dynamically configuring the network through remotely controlled… (More)

SPECTA: A formal specification language for content transfer algorithms

• Petter Sandvik
• Proceeding of IEEE International Symposium on a…
• 2014

When data is transferred between nodes in a network, it is often transferred in-order. However, in distributed systems, such as peer-to-peer networks and cloud-based systems, transferring data… (More)

• ‹
• 1
• ›