15885 search results - page 3007 / 3177 » Strategic Software Engineering |
134
Voted
IPL
2010
15 years 2 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
151
Voted
IV
2010
IEEE
15 years 2 months ago
2010
IEEE
—Networks are widely used in modeling relational data often comprised of thousands of nodes and edges. This kind of data alone implies a challenge for its visualization as it is ...
146
Voted
MM
2010
ACM
15 years 2 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
143
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
170
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...