Hello and welcome to my corner of the Web. I'm a senior computer scientist interested in all scientific aspects of computer programming. I'm a professor at Collège de France, where I hold the chair of software sciences, and a member of Académie des sciences. I'm also a member of the Cambium research team of Inria. News [01/2024] Award: the 2023 ACM SIGPLAN Programming Languages Software Award was
One-Stop, Affordable Research Access and Manage Your Literature All In One Place Getting research literature doesn't need to be so time consuming and expensive. With the DeepDyve Digital Library you can search and access 150M+ papers, organize your projects, and collaborate with your peers—all from one place.
Explains the use of Publish or Perish and its metrics Anne-Wil Harzing - Sat 6 Feb 2016 16:10 (updated Fri 25 Aug 2023 16:24) Publish or Perish is a software program that retrieves and analyzes academic citations. It uses a variety of data sources to obtain the raw citations, then analyzes these and presents a range of citation metrics, including the number of papers, total citations and the h-ind
作成日:2005.11.27 目次 前置き データ構造 操作 擬似コード 動作 問題点 参考文献 脚注 1. 前置き マルチプロセッサ上で行う並列処理を行うプログラムが、 仕事を均等に N 分割できるものは稀だ。 プログラムの処理コストの最大値や平均値を見積もることができても、 実際の処理時間や消費メモリはプログラムの実行内容によって大きく変わっていく。 そのため各プロセッサに割り当てる負荷(ロード)が均一になるように 負荷分散を行うことが重要になる。 負荷分散を行うためには、 プログラムをある程度の粒度に分割し、 プロセッサ間で担当をやり取りできるようにする。 とりあえずプログラムを分割したものをタスクと呼ぶことにしよう。 タスクをやり取りする方法は、 大雑把に言って三つある。 マネージャーがいて、どのプロセッサがどのタスクを行うか制御する。 暇なプロセッサが、タスクを多く抱えたプロセッ
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ICFP 2010 papers are in ACM DL, but not freely available. The program is here: http://www.icfpconference.org/icfp2010/program.html And a (growing) list of freely available pre-prints: Monday Keynote:
New: The I/O engine is now available! We have partially released the source code used in this work. You can find the user-level packet I/O engine for Intel 82598/82599 NICs here. We do not have a definite release plan for other parts of the PacketShader code not made available on the web as of today. What is PacketShader? PacketShader is a high-performance PC-based software router platform that ac
21:54 10/06/30 行列と項書換 "Termination of String Rewriting with Matrix Interpretations" という論文を読みました。 これは何かというとつまり、 ICFPコンテストの元ネタとして 紹介 されていた論文です。 れ い 年、 冗談9割で、主催者の専門分野にちなんだ問題が出るに違いない!と叫んでいるのですが、 本当に来るとは思わなかった…。 さて。項書き換え (term rewriting) と呼ばれる研究分野がありまして、 例えばこんな問題を調べています。 文字列に対して、「以下の操作のどれかを好きに選ぶ & 実行する」を繰り返します。 abc という部分文字列を de に書き換える (abc ⇒ de と書きます) ef ⇒ g fgh ⇒ ij どんな文字列からスタートしても、最後には、どの規則も使えない状態 (つ
Professional Paranoid Department of Computer Science University of Auckland Private Bag 92019 Auckland, New Zealand email: pgut001@cs.auckland.ac.nz (PGP key). I get an enormous amount of email, depending on my workload it can take up to a week for me to reply. Please be patient. The present need for security products far exceeds the number of individuals capable of designing secure systems. Conse
steps toward the glory of REST A model (developed by Leonard Richardson) that breaks down the principal elements of a REST approach into three steps. These introduce resources, http verbs, and hypermedia controls. 18 March 2010 Recently I've been reading drafts of Rest In Practice: a book that a couple of my colleagues have been working on. Their aim is to explain how to use Restful web services t
Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
At last. What started as an "I need an overview of best practise in SSL/TLS configuration" type of idea, ended in a 3 month code, reverse engineer and writing effort. I really hope this comes in handy for you and was worth the effort. This is the "Release candidate" version of the paper, should no errors be found it will be the final version. What SSL/TLS configuration is state of the art and cons
修論ではmoshのFFIとyuniSchemeから移植したFFI Threadsを使ってやっていたイベント処理だけど、フレームワーク自体は他の言語でも有用と考えられるので、C言語で書きなおしてライブラリとして整備することにした。その方がmoshにも取り込みやすいと考えられる。 アイデアとしては、デバイスやネットワークを接続する"ピタゴラマシン"を作るためのライブラリということになる。"ピタゴラマシン語"として制限されたScheme(yuniScheme)を採用し、そのインタプリタも含む。これにより、GCの遅い*1moshでも、セミ-リアルタイムの処理が可能になると考えている。 難しい問題は、多岐に渡るイベントインターフェースを統合しなければならないという点で、様々なライブラリが、本当に様々なセマンティクスを提供している。 libemitでwrapしたいライブラリを3種類に分類した。libe
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く